Nuprl Definition : eclbase-k
11,40
postcript
pdf
eclbase-k(
x
)
== ecl_ind(
x
;
k
,
test
.
k
;
a
,
b
,
rec1
,
rec2
.
;
a
,
b
,
rec1
,
rec2
.
;
a
,
b
,
rec1
,
rec2
.
;
a
,
rec1
.
;
a
,
n
,
rec1
.
;
a
,
n
,
rec1
.
;
a
,
l
,
rec1
.
)
latex
Definitions
ecl
ind
,
FDL editor aliases
eclbase-k
origin
;a,b,rec1,rec2.;a,b,rec1,rec2.;a,rec1.;a,n,rec1.;a,n,rec1.;a,l,rec1.) ;a,b,rec1,rec2.;a,b,rec1,rec2.;a,rec1.;a,n,rec1.;a,n,rec1.;a,l,rec1.)